|
|
Ekonomické hodnocení dřevostaveb
Gregorová, Lucie ; Aigel, Petr (oponent) ; Výskala, Miloslav (vedoucí práce)
Cílem práce je porovnání rámové konstrukce dřevostavby a zděné stavby v rámci první a druhé fáze životního cyklu stavby. Vybranými faktory těchto fází jsou náklady a časová náročnost konstrukcí, porovnání hmotností konstrukcí, tepelně izolační vlastnosti a požární odolnost konstrukcí. Dále jsou srovnány náklady na výstavbu a doba výstavby dřevostavby a zděné stavby.
|
|
|
SOFAnet 2
Papež, Michal ; Bureš, Tomáš (vedoucí práce) ; Malohlava, Michal (oponent)
SOFAnet 2 DIPLOMOVÁ PRÁCE Michal Papež Katedra distribuovaných a spolehlivých systémů, 2011 Abstrakt: Cílem SOFAnet 2 jakožto síťového prostředí komponentového systému SOFA 2 je jednoduchá a rozumná výměna komponent mezi jednotlivými uzly. Sou- časné požadavky uživatelů SOFA 2 na distribuci software jsou analyzovány a disku- továny. Protože koncepty SOFA 2 nejsou navrženy pro účely distribuce, byly zave- deny nové koncepty pro aplikace a komponenty. Tyto nové koncepty jsou mapovány na koncepty SOFA 2 a studovány na formálním množinovém modelu. Pomocí to- hoto modelu jsou definovány operace pro distribuci, instalaci a odstranění aplikací i komponent. Jsou také navržena pravidla, podle kterých je možné vyčistit repoz- itář SOFA 2 od nepotřebných částí software. Koncept SOFAnetu 2 je ověřen na prototypové implementaci. 1
|
|
|
State Space Symmetry Reduction for TBP Analysis
Černý, Ondřej ; Šerý, Ondřej (vedoucí práce) ; Poch, Tomáš (oponent)
Threaded Behavior Protocols (TBP) je specifikační jazyk pro modelování chování softwarových komponent. Tato práce se zaměřuje na analýzu TBP specifikací v rámci prostředí, která obsahují neomezené množšví replikovaných vláken. Takové specifikace spolu s modely možných prostředí způsobí nekonečnost stavového prostoru analýzy, který obsahuje velké množství symetrií, způsobených replikací vláken. V práci je navžena technika analýzy takových modelů, která redukuje symetrie s použitím abstrakce zvané Symbolic Counter Abstraction. Pro její použití je však nutné převést vlastnosti modelu na problém dosažitelnosti stavů vláken. Navrhovaná technika je bezpečná ve smyslu odhalení všech chyb v modelu. Na druhou stranu může způsobovat tzv. spurious erros, tj. chyby které neodpovídají skutečným chybám v modelu. Tyto chyby jsou v práci dobře identifikovány a dále jsou nastíněny způsoby jejich redukce. Práce navíc může představovat malý krok směrem k podpoře dynamického vytváření vláken v TBP specifikacích.
|
|
|
The Progress run-time architecture
Pop, Tomáš
Práce je součástí rozsáhlejšího výzkumného záměru s názvem Progress, který usiluje o poskytnutí metod pro vývoj komponentových a real-time systémů pro embedded zařízení. Jednou z nových myšlenek Progresu je sdružování komponent do větších celků nazvaných virtuální zařízení. Důvodem k tomuto sdružování je dosažení vyšší efektivity a také možnost vyšší míry abstrakce hardware cílových výpočetních jednotek. Tato práce začíná zkoumání implementace komponentového modelu, který je součástí Progressu.. Cílem práce je otevřít nutné otázky týkající se implementace běhového prostředí a mechanismů nutných k běhu virtuálních zařízení na fyzickém zařízení. Součástí práce je i ukázková implementace běhového prostředí pokrývající lokální komunikaci a komunikaci prostřednictvím Ethernetu, implementaci podpory pro událostmi řízené a periodické úlohy a systémy s více spolupracujícími zařízeními.
|
|
|
Ekonomické hodnocení dřevostaveb
Gregorová, Lucie ; Aigel, Petr (oponent) ; Výskala, Miloslav (vedoucí práce)
Cílem práce je porovnání rámové konstrukce dřevostavby a zděné stavby v rámci první a druhé fáze životního cyklu stavby. Vybranými faktory těchto fází jsou náklady a časová náročnost konstrukcí, porovnání hmotností konstrukcí, tepelně izolační vlastnosti a požární odolnost konstrukcí. Dále jsou srovnány náklady na výstavbu a doba výstavby dřevostavby a zděné stavby.
|
|
|
DEECo Component Model Framework on Android Mobile Platform
Sipták, Daniel ; Bureš, Tomáš (vedoucí práce) ; Gemrot, Jakub (oponent)
Prezentována diplomová práce se věnuje tvorbě podpory DEECo komponentního modelu na platformě Android. Vytvorění distribuovaného systému schopného používat DEECo framework nad více zařízeními. Pro tento účel je využita jDEECo implementace DEECo komponentového modelu, která je portována na platformu Android. Návrh řešení synchronizace společného stavu je navržen a implementován za pomoci JGroups knihovny. Prezentovány jsou možná řešení a implementace vytvořeného produktu. Ako poslední je ukázána demo aplikace, na které je vidět použití funkcí vytvořeného frameworku.
|
|
|
Deployment of SOFA 2 applications for the LeJOS platform
Baquero Forero, Juan Rodrigo ; Hnětynka, Petr (vedoucí práce) ; Bureš, Tomáš (oponent)
Vestavěné systémy jsou v naší společnosti všudypřítomné. Ovládájí vozidla, letadla a lékařské nástroje. Některé z těchto systémů jsou distribuované. Jsou součástí sítě a jejich činnost je koordionvána. Vývoj softwaru pro takovéto systémy může s sebou nést problémy. V této práci navrhneme komponentový systém založený na SOFA 2, určený k zjednodušení vývoje software pro distribuované, vestavěné systémy, kde rozvržení jednotlivých součástí sítě je spravováno výhradně tímto komponentovým systémem. Jako model pro distribuované, vestavěné systémy použijeme Lego Mindstorms. Navrhovaný přístup prezentuje bezvadnou distribuci komponent, nicméně pro plné využití potenciálu komponentového systému musí být v implemntaci zadáný nefunkcionální požadavky jako paměť, velikost programu nebo velikost disku.
|
|
|
Components and Services in Resource-Constrained Environments
Pop, Tomáš ; Plášil, František (vedoucí práce) ; Ježek, Kamil (oponent) ; Carlson, Jan (oponent)
disertační práce Název: Komponenty a servisy v prostředí s omezenými zdroji Autor: Tomáš Pop tomas.pop@d3s.mff.cuni.cz Katedra: Katedra distribuovaných a spolehlivých systémů Matematicko-fyzikální fakulta Univerzita Karlova v Praze Školitel: Prof. František Plášil plasil@d3s.mff.cuni.cz Abstract Zařízení denní potřeby, například spotřební elektronika, telekomunikační pří- stroje, zařízení potřebná v automobilech nebo nejrůznější kontrolní systémy, se stala běžnou ale důležitou součástí našich životů. Ve srovnání s desktopovými a serverovými systémy jsou tato zařízení více omezena například množstvím dostupné paměti, limitovaným výkonem CPU nebo kapacitou baterie. Vývoj založený na softwarových komponentách je uznávanou technikou vývoje, která byla v průběhu let úspěšně aplikována v rozličných průmyslových odvětvích. Na druhou stranu, komponentové systémy využívané v průmyslu nebyly navrženy pro požití v prostředí s omezenými zdroji a nemohou tam být přímo nasazeny. Cílem práce je prozkoumat potenciál vývoje založeného na softwarových kom- ponentách v prostředí s omezenými zdroji. Na základě analýzy existujících kom- ponentových řešení zaměřených do prostředí s omezenými...
|
|
|
State Space Symmetry Reduction for TBP Analysis
Černý, Ondřej ; Šerý, Ondřej (vedoucí práce) ; Poch, Tomáš (oponent)
Threaded Behavior Protocols (TBP) je specifikační jazyk pro modelování chování softwarových komponent. Tato práce se zaměřuje na analýzu TBP specifikací v rámci prostředí, která obsahují neomezené množšví replikovaných vláken. Takové specifikace spolu s modely možných prostředí způsobí nekonečnost stavového prostoru analýzy, který obsahuje velké množství symetrií, způsobených replikací vláken. V práci je navžena technika analýzy takových modelů, která redukuje symetrie s použitím abstrakce zvané Symbolic Counter Abstraction. Pro její použití je však nutné převést vlastnosti modelu na problém dosažitelnosti stavů vláken. Navrhovaná technika je bezpečná ve smyslu odhalení všech chyb v modelu. Na druhou stranu může způsobovat tzv. spurious erros, tj. chyby které neodpovídají skutečným chybám v modelu. Tyto chyby jsou v práci dobře identifikovány a dále jsou nastíněny způsoby jejich redukce. Práce navíc může představovat malý krok směrem k podpoře dynamického vytváření vláken v TBP specifikacích.
|
|
|
SOFAnet 2
Papež, Michal ; Bureš, Tomáš (vedoucí práce) ; Malohlava, Michal (oponent)
SOFAnet 2 DIPLOMOVÁ PRÁCE Michal Papež Katedra distribuovaných a spolehlivých systémů, 2011 Abstrakt: Cílem SOFAnet 2 jakožto síťového prostředí komponentového systému SOFA 2 je jednoduchá a rozumná výměna komponent mezi jednotlivými uzly. Sou- časné požadavky uživatelů SOFA 2 na distribuci software jsou analyzovány a disku- továny. Protože koncepty SOFA 2 nejsou navrženy pro účely distribuce, byly zave- deny nové koncepty pro aplikace a komponenty. Tyto nové koncepty jsou mapovány na koncepty SOFA 2 a studovány na formálním množinovém modelu. Pomocí to- hoto modelu jsou definovány operace pro distribuci, instalaci a odstranění aplikací i komponent. Jsou také navržena pravidla, podle kterých je možné vyčistit repoz- itář SOFA 2 od nepotřebných částí software. Koncept SOFAnetu 2 je ověřen na prototypové implementaci. 1
|
host ::
RSS.